Nuprl Definition : ma-single-frame 0,22
only members of L affect x :t
== mk-ma(x : t;
== ;
== ;
== ;
== ;
== ;
== x : L;
== ;
== ;
== ;
== ) 
latex

Definitionsmk-ma, x : v,
FDL editor aliasesma-single-frame

origin